Provably Correct Systems: Community, connections, and citations

摘要

The original European ESPRIT ProCoS I and II projects on Provably CorrectSystems} took place around a quarter of a century ago. Since then the legacy ofthe initiative has spawned many researchers with careers in formal methods. Oneof the leaders on the ProCoS projects was Ernst-R\"udiger Olderog. This papercharts the influence of the ProCoS projects and the subsequent ProCoS-WGWorking Group, using Prof. Dr Olderog as an example. The community ofresearchers surrounding an initiative such as ProCoS is considered in thecontext of the social science concept of a Community of Practice (CoP) and thecollaborations undertaken through coauthorship of and citations topublications. Consideration of citation metrics is also included.